Stabilization and limit theorems for geometric functionals of Gibbs point processes

Given a Gibbs point process P on R having a weak enough potential Ψ, we consider the random measures μλ := P x∈P∩Qλ ξ(x,P ∩Qλ)δx/λ1/d , where Qλ := [−λ /2, λ/2] is the volume λ cube and where ξ(·, ·) is a translation invariant stabilizing functional. Subject to Ψ satisfying a localization property and translation invariance, we establish weak laws of large numbers for λ−1μλ(f), f a bounded test function on R , and weak convergence of λμλ(f), suitably centered, to a Gaussian field acting on bounded test functions. The result yields limit laws for geometric functionals on Gibbs point processes including the Strauss and area interaction point processes as well as more general point processes defined by the WidomRowlinson and hard-core model. We provide applications to random sequential packing on Gibbsian input, to functionals of Euclidean graphs, networks, and percolation models on Gibbsian input, and to quantization via Gibbsian input.